Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Lecture Notes in Computer Science)
by Robert M. Hierons,Mercedes G. Merayo,Mario Bravetti
ISBN 13: 9783642405600
Format: Paperback (340 pages) Publisher: Springer Published: 12 Sep 2013
Save for later
Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings: 11146 (Lecture Notes in Computer Science)
by Inmaculada Medina-Bulo,Mercedes G. Merayo,Robert Hierons
ISBN 13: 9783319999265
Format: Paperback (184 pages) Publisher: Springer Published: 07 Sep 2018